/*
 *  * Copyright (C) 2015-2017 Alibaba Group Holding Limited
 */
#include <stdio.h>

void hal_reboot(void)
{
    
}